Belief Revision and Truth Maintenance Systems: An Overview and a Proposal CSE Technical Report 98-10

Belief Revision and Truth Maintenance Systems: an Overview and a Proposal

This paper presents a very high-level introduction to Belief Revision and Truth Maintenance Systems, including explanations of basic terminology , a brief history, and a comment on the two literatures: the TMS literature, and the AGM Belief Revision literature. More extensive surveys in each of the two literatures are cited. The paper concludes with a proposal to continue the investigation of t...

A Beginner's Guide to Belief Revision and Truth Maintenance Systems

Says Who ? – Incorporating Source Credibility Issues into Belief Revision 1 CSE Technical Report 99 - 08

We discuss some belief revision theories and the implementation of some of them in SNeBR, the belief revision subsystem of the SNePS knowledge representation and reasoning system. The following guidelines are important to belief revision: 1. minimize information removal 2. retract less-plausible beliefs before more-plausible ones. Alterations to SNeBR that provide users with information to help...

Belief Revision: A Computational Approach

In order to reason about the real world, intelligent systems must have ways of dealing with incomplete and inconsistent information. This issue is addressed in the study of nonmonotonic reasoning, truth maintenance and database update. Belief revision is a formal approach which is central to these areas. This thesis describes a computational approach to the logic of belief revision developed by...

M ar 2 00 0 Implementing Integrity Constraints in an Existing Belief Revision System ∗ CSE Technical Report 2000 - 03

SNePS is a mature knowledge representation, reasoning, and acting system that has long contained a belief revision subsystem, called SNeBR. SNeBR is triggered when an explicit contradiction is introduced into the SNePS belief space, either because of a user’s new assertion, or because of a user’s query. SNeBR then makes the user decide what belief to remove from the belief space in order to res...